/*
  特殊素数对
  题目描述
    任意两个素数 a, b 满足 ∣a − b∣ = 6 我们称 (a, b) 是特殊素数对，a 和 b 分别称为特殊素数，
    例如 (5, 11), (7, 13), (11, 17), (13, 19), … 都是特殊素数对，其中 5, 7, 11, 13, 19 分别都是特殊素数。
    现在给定一个整数 n，请判断 n 是否是一个特殊素数。
  输入描述
    一行一个整数 n。
  输出描述
    如果 n 是一个特殊素数，第一行输出 Yes，第二行输出与 n 配对的另一个特殊素数（如果这样的数不唯一，只需要输出较小的哪一个）；
    如果 n 不是一个特殊素数，第一行输出 No，第二行输出大于 n 的最小特殊素数。
  样例1
    输入
      2
    输出
      No
      5
  样例2
    输入
      43
    输出
      Yes
      37
  样例3
    输入
      10000000
    输出
      No
      10000223
*/